A Swiss Pocket Knife for Computability
نویسندگان
چکیده
منابع مشابه
A Swiss Pocket Knife for Computability
Citation for published version (APA): Jones, N. (2013). A swiss pocket knife for computability. In A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (Eds.), Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013 (pp. 1-17). Electronic Proceedings in Theoretical C...
متن کاملBromodomain 4: a cellular Swiss army knife.
Bromodomain protein 4 (BRD4) is a transcriptional and epigenetic regulator that plays a pivotal role in cancer and inflammatory diseases. BRD4 binds and stays associated with chromatin during mitosis, bookmarking early G1 genes and reactivating transcription after mitotic silencing. BRD4 plays an important role in transcription, both as a passive scaffold via its recruitment of vital transcript...
متن کاملPhysical-Organic Chemistry: A Swiss Army Knife
“Physical-organic chemistry” is not really about physical chemistry, organic chemistry, or even chemistry. It is a strategy for the design of programs in experimental scientific research – admittedly, a strategy most highly developed for research involving organic molecules as components – that offers a general, and remarkably versatile, method for tackling complex problems. The idea underlying...
متن کاملA ‘swiss Army Knife’ for Chatting in Distributed Educationnal Settings
Chat tools are nowadays an integral part of many collaborative e-learning environments. However, standard chat tools suffer from important coordination and coherence deficiencies. In this paper we propose an open source generic framework for building malleable structured chat applications. Users can strengthen or relax constraints when they want during a chat session. The paper shows some demon...
متن کاملGProM - A Swiss Army Knife for Your Provenance Needs
We present an overview of GProM, a generic provenance middleware for relational databases. The system supports diverse provenance and annotation management tasks through query instrumentation, i.e., compiling a declarative frontend language with provenance-specific features into the query language of a backend database system. In addition to introducing GProM, we also discuss research contribut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.129.1